Oberseminar Theoretische Informatik - Sommersemester 96

Theoretische Informatik / Formale Sprachen

Wilhelm-Schickard Institut für Informatik

Universität Tübingen

Sand 13

D-72076 Tübingen

Germany

Themenliste

24.10.96 (Stuttgart, Raum 1.035, 10.15) (*)

Ulrich Hertrampf:
Blattsprachen und Baumformen

31.10.96 (Tübingen, Raum 008, 10.15)

Walter Felscher (Universität Tübingen):
Ein linearer Parser für Terme mit Klammern

07.11.96 (Tübingen, Raum 008, 10.15) (*)

Hans Meinhardt (MPI Tübingen):
Modelle zur biologischen Musterbildung und Vergleich mit experimentellen Befunden

14.11.96 (Tübingen, Raum 008, 10.15)

Lßszlo Kßszonyi (Berzsenyi Daniel Föiskola):
Some new results on the context-freeness of languages $Q \cap (ab^*)^n$

21.11.96 (Stuttgart, Raum 1.035, 10.15) (*)

Klaus Reinhardt (Universität Tübingen):
Zwei Probevorträge für FST & TCS sowie DMTCS

28.11.96 (Tübingen, Raum 128, 10.15)

György Vßszil (Universität Budapest): Various communications in PC grammar systems

5.12.96 und 6.12.96 Besuch des Colloquium on Computability, Complexity, and Logic in Stuttgart.

10.12.96 (ausnahmsweise) (Tübingen, Raum 008, 13.00) (*)

Rolf Niedermeier (Universität Tübingen):
Zwei Probevorträge zur ISAAC in Tokyo

19.12.96 (Stuttgart, Raum 1.035, 10.45) (*)

Sßndor Horvßth (Universität Budapest):
Einige Unentscheidbarkeitsresultate bezⁿglich kontextfreier Grammatiken

9.1.97 (Tübingen, Raum 008, 10.15)

Henning Fernau (Universität Tübingen):
Regulierte Array-Grammatiken

16.1.97 (Tübingen, Raum 008, 10.15)

Jörg Hudelmaier (Universität Tübingen):
Struktur und Semantik von Sequenzenkalkülen

23.1.97 (Tübingen, Raum 008, 10.15) (*)

Frank Stephan (Universität Heidelberg):
Robust Learning with Infinite Additional Information

30.1.97 (Tübingen, Raum 008, 10.15) (*)

Reinhard Bündgen (Universität Tübingen):
Simulation abstrakter Buchbergeralgorithmen durch Termvervollständigung

6.2.97 (Tübingen, Raum 008, 10.15)

Uwe Moennich (Universität Tübingen):
Über das Clonen von Kontextfreiheit

13.2.97 (Tübingen, Raum 008, 10.15)

Peter Thiemann (Universität Tübingen):
Partielle Auswertung von funktionalen Programmen mit Seiteneffekten

(*) Die betreffenden Veranstaltungen finden in Zusammenarbeit mit der Universität Stuttgart statt. Für die Termine in Stuttgart startet um 09.40 Uhr der WSI-Bus ab Sand zur Fahrt nach Stuttgart-Vaihingen.

This page was last updated on Juli 18th, 1997 by P. Meißner